/* Probe plans */
// L'azione probe permette di conoscere il valore di un _NODO_ 
+!probe
   <- .print("Probing my location");
      !do_and_wait_next_step(probe).
      
// L'azione _SURVEY_ permette di conoscere il peso di un _ARCO_ (l'energia necessaria a percorrerlo)
+!survey
   <- .print("Surveying");
      !do_and_wait_next_step(survey).

// store perceived probed vertexs in the BB
// +probedVertex(L,V) <- +probedVertex(L,V). 

// store edges in the BB
@lve1[atomic]
+visibleEdge(V1,V2) <-
   	+edge(V1,V2,unknown);
	+edge(V2,V1,unknown).
	// +edge(V2,V1,unknown);
	// ?map_monitor_id(M);
	//addEdge(V1, V2)[artifact_id(M)].
	  
@lve12[atomic]
+surveyedEdge(V1,V2,C) 
   <- -edge(V1,V2,_); -edge(V2,V1,_);
      +edge(V1,V2,C); +edge(V2,V1,C).
      